HEADERS= \
	cb.h \
	ff.h \
	fr.h \
	impl.h \
	info.h \
	l1.h \
	l1i.h \
	l2.h \
	l3.h \
	low.h \
	lx.h \
	mm.h \
	pda.h \
	symbol.h \
	synctrace.h \
	transient.h \
	util.h

prefix=@prefix@
exec_prefix=@exec_prefix@

all: ${HEADERS}


install: ${HEADERS}
	install -d @includedir@/mastik
	install ${HEADERS} @includedir@/mastik


clean:

distclean: clean
	rm Makefile
